package com.zonski.jbots.desktop.editer;

/**
 * Created by IntelliJ IDEA.
 * User: Chris Glover
 * Date: Oct 27, 2003
 * Time: 9:24:58 AM
 * To change this template use Options | File Templates.
 */
public interface ToolListener
{
    /**
     * occurs when a tool is activated
     * @param event contains the tool that caused the event
     */
    void toolActivated(ToolEvent event);

    /**
     * occurs when a tool is deactivated
     * @param event contains the tool that caused the event
     */
    void toolDeactivated(ToolEvent event);
}
